大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFAC-IFIP Workshop on Real-Time Programming 的图书(共4977本)

Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

0
索取号：
作者：Aceto、 Luca.、Damg氓rd、 Ivan.、Goldberg、 Leslie Ann.、Halld贸rsson、 Magn煤s M.、Ing贸lfsd贸ttir、 Anna.、Walukiewicz、 Igor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Automata, Languages and Programming [electronic resource] : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

0
索取号：
作者：Aceto、 Luca.、Damg氓rd、 Ivan.、Goldberg、 Leslie Ann.、Halld贸rsson、 Magn煤s M.、Ing贸lfsd贸ttir、 Anna.、Walukiewicz、 Igor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Interactive Systems. Design, Specification, and Verification [electronic resource] : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

0
索取号：
作者：Graham、 T. C. Nicholas.、Palanque、 Philippe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Data and Applications Security XXII [electronic resource] : 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008 Proceedings

0
索取号：
作者：Atluri、 Vijay.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings

0
索取号：
作者：Berekovi膰、 Mladen.、Dimopoulos、 Nikitas.、Wong、 Stephan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Digital Mammography [electronic resource] : 9th International Workshop, IWDM 2008 Tucson, AZ, USA, July 20-23, 2008 Proceedings

0
索取号：
作者：Krupinski、 Elizabeth A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Distributed, High-Performance and Grid Computing in Computational Biology [electronic resource] : International Workshop, GCCB 2006, Eilat, Israel, January 21, 2007. Proceedings

0
索取号：
作者：Dubitzky、 Werner.、Schuster、 Assaf.、Sloot、 Peter M. A.、Schroeder、 Michael.、Romberg、 Mathilde.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Artificial Neural Networks in Pattern Recognition [electronic resource] : Third IAPR Workshop, ANNPR 2008 Paris, France, July 2-4, 2008 Proceedings

0
索取号：
作者：Prevost、 Lionel.、Marinai、 Simone.、Schwenker、 Friedhelm.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Logic, Language, Information and Computation [electronic resource] : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

0
索取号：
作者：Hodges、 Wilfrid.、Queiroz、 Ruy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Algorithm Theory-SWAT 2008 [electronic resource] : 11th Scandinavian Workshop on Algorithm Theory, Gothenburg, Sweden, July 2-4, 2008. Proceedings

0
索取号：
作者：Gudmundsson、 Joachim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Engineering Self-Organising Systems [electronic resource] : 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers

0
索取号：
作者：Brueckner、 Sven A.、Hassas、 Salima.、Jelasity、 M谩rk.、Yamins、 Daniel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Complex Motion [electronic resource] : First International Workshop, IWCM 2004, G眉nzburg, Germany, October 12-14, 2004. Revised Papers

0
索取号：
作者：J盲hne、 Bernd.、Mester、 Rudolf.、Barth、 Erhardt.、Scharr、 Hanno.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Data Integration in the Life Sciences [electronic resource] : 5th International Workshop, DILS 2008, Evry, France, June 25-27, 2008. Proceedings

0
索取号：
作者：Bairoch、 Amos.、Cohen-Boulakia、 Sarah.、Froidevaux、 Christine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Performance Evaluation: Metrics, Models and Benchmarks [electronic resource] : SPEC International Performance Evaluation Workshop, SIPEW 2008, Darmstadt, Germany, June 27-28, 2008. Proceedings

0
索取号：
作者：Kounev、 Samuel.、Gorton、 Ian.、Sachs、 Kai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computational Logic in Multi-Agent Systems [electronic resource] : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers

0
索取号：
作者：Inoue、 Katsumi.、Satoh、 Ken.、Toni、 Francesca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Sharp Real-Part Theorems [electronic resource] : A Unified Approach

0
索取号：
作者：Maz'ya、 Vladimir.、Kresin、 Gershon.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.